Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
نویسنده
چکیده
This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system. We study the formal properties desirable for a “good” nonmonotonic relation: supraclassicality, cut, cautious monotony, cumulativity, absorption, distribution.
منابع مشابه
Axiomatic Aspects of Default Inference
Properties of classical (logical) entailment relation (denoted as ⊢) have been well studied and well-understood, either with or without the presence of logical connectives. There is, however, less uniform agreement on laws for the nonmonotonic consequence relation. This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical s...
متن کامل. L O / 0 20 70 87 v 1 2 5 Ju l 2 00 2 Axiomatic Aspects of Default Inference ⋆
Properties of classical (logical) entailment relation (denoted as ⊢) have been well studied and well-understood, either with or without the presence of logical connectives. There is, however, less uniform agreement on laws for the nonmonotonic consequence relation. This paper studies axioms for nonmonotonic consequences from a semantics-based point of view, focusing on a class of mathematical s...
متن کاملReasoning with power defaults
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information in a higher-order setting. PDR lifts a non-monotonic operator at the base (syntactic) level to a well-behaved, almost monotonic operator in the higher-order space of the Smyth power-domain – effectively a space of sets ...
متن کاملRelating DeLP and Default Logic
In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories to defeasible logic programs. The transformation allows to associate the answers of a DELP Interpreter with the consequences...
متن کاملNonmonotonic Consequence in Default Model Theory Nonmonotonic Consequences in Default Model Theory 1
Default model theory is a nonmonotonic formalism for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter's work on default logic, it is a very diierent, in some sense dual framework. We make Reiter's default extension operator into a constructive method of building models, not theories. Domain theory, which is a well established tool for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010